The Corporation for National Research Initiatives Handles and DNS Persistence IDCC/W3C Workshop on Domain Name Persistence Sean Reilly [removed]

Source URL: www.doi.org

• Data
• Turing Award laureates
• Computing
• Handle System
• Corporation for National Research Initiatives
• Bob Kahn
• Vint Cerf
• Communications protocol
• Domain Name System
• Identifiers
• Information
• Internet protocols

Early Experiences with the ARPANET and INTERNET in the UK Peter T. Kirstein, Department of Computer Science, University College London ABSTRACT This paper describes both the administrative and technical background to the

Source URL: nrg.cs.ucl.ac.uk

• Internet
• ARPANET
• Turing Award laureates
• Interface Message Processor
• Packet switching
• Packet switch
• Pål Spilling
• Vint Cerf
• Donald Davies
• Computing
• Technology
• Networking hardware

November 2012 • Issue #425 AMSTATNEWS The Membership Magazine of the American Statistical Association • http://magazine.amstat.org Turing Award Winner,

Source URL: magazine.amstat.org

• Statistics
• American Statistical Association

ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA,

Source URL: www-verimag.imag.fr

• Logic in computer science
• Temporal logic
• Model checkers
• Formal methods
• Model checking
• Formal verification
• Linear temporal logic
• Computation tree logic
• CTL*
• Theoretical computer science
• Mathematical logic
• Applied mathematics

2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a

Source URL: www-verimag.imag.fr

• Turing Award laureates
• Formal methods
• Joseph Sifakis
• Cybernetics
• Systems theory
• Component-based software engineering
• Model checking
• Turing Award
• Amir Pnueli
• Computer science
• Science
• Software engineering

Contact: Virginia Gold[removed]removed]

Source URL: amturing.acm.org

• Dijkstra Prize
• Distributed computing
• Software engineers
• Turing Award
• Leslie Lamport
• Association for Computing Machinery
• Edsger W. Dijkstra
• Edmund M. Clarke
• ACM SIGACT
• Computing
• Computer science
• Turing Award laureates

Microsoft Word - eulogy.doc

Source URL: www.jot.fm

• Turing Award laureates
• Programming paradigms
• Kristen Nygaard
• Norwegian Academy of Science and Letters
• Ole-Johan Dahl
• Simula
• Object-oriented programming
• Norwegian Computing Center
• Turing Award
• Software engineering
• Computing
• Computer science

BusinessWeek About Our New Lifestyle Channel VIEWPOINT January 2, 2008 (Revised May 30, 2014) The Long Nose of Innovation1

Source URL: www.billbuxton.com

• Turing Award laureates
• Personal computers
• Mouse
• Computer workstations
• Douglas Engelbart
• PARC
• Xerox
• William English
• SRI International
• Computing
• Technology
• Science and technology in the United States

___________________________________ ___________________________________________________________________________________________________________________________________________ 0 ___________________________________

Source URL: www.stroustrup.com

• C programming language
• Cross-platform software
• Procedural programming languages
• Turing Award laureates
• Andrew Koenig
• Year of birth missing
• Bjarne Stroustrup
• C++
• Cfront
• Computing
• Software engineering
• Computer programming

Thema Softwareontwikkeling Turing Award-winnaar Leslie Lamport Bakkerij,

Source URL: fmt.cs.utwente.nl